Your search returned 114 results. Subscribe to this search

|
Computer science today : recent trends and developments / ed. Jan van Leeuwen Monografia Publication Berlin : Springer-Verlag, cop. 1995 Description XIII, 641 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Mathematical foundations of computer science 1990 / Proceedings of the 15th Symposium... ; ed. B. Rovan Monografia Publication Berlin : Springer-Verlag, cop. 1990 Description VIII, 544 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Mathematical foundations of computer science 1981 : proceedings / 10th Symposium... ; ed. J. Gruska, M. Chytil Monografia Publication Berlin : Springer-Verlag, 1981 Description XI, 589 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Mathematical foundations of computer science 1992 : proceedings / 17th International Symposium... ; ed. I. M. Havel, V. Koubek Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description IX, 521 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Trends, techniques, and problems in theoretical computer science / 4th International Meeting of Young Computer Scientists ; ed. Alica Kelemenová, Jozef Kelemen Monografia Publication Berlin : Springer-Verlag, 1987 Description VI, 213 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Mathematical foundations of computer science 1984 : proceedings / 11th Symposium... ; ed. M. P. Chytil, V. Koubek Monografia Publication Berlin : Springer-Verlag, 1984 Description XI, 581 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Categorical methods in computer science : with aspects from topology / International Workshop... ; ed. H. Ehrig... [et al.] Monografia Publication Berlin : Springer-Verlag, cop. 1989 Description VI, 350 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1).

Computer science logic : selected papers / International Workshop... ; ed. Mogens Nielsen, Wolfgang Thomas Monografia Publication Berlin : Springer, cop. 1998 Description VIII, 509 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (2).

Mathematical foundations of computer science / Proceedings of the 12th Symposium... ; ed. J. Gruska, B. Rovan, J. Wiederman Monografia Publication Berlin : Springer-Verlag, cop. 1986 Description IX, 650 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Matrix eigensystem routines : Eispack guide extension / B. S. Garbow ... [et al.] Monografia Publication Berlin : Springer-Verlag, 1977 Description VIII, 343 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Advances in petri-nets 1985 / ed. G. Rozenberg Monografia Publication Berlin : Springer-Verlag, 1986 Description 498 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Advances in Petri Nets 1987 / ed. Grzegorz Rozenberg Monografia Publication Berlin : Springer-Verlag, cop. 1987 Description VI, 451 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Hybrid systems IV / ed. Panos Antsaklis... [et al.] Monografia Publication Berlin : Springer, cop. 1997 Description X, 404 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Mathematical foundations of computer science 1980 : proceedings / 9th Symposium... ; ed. P. Dembinski Monografia Publication Berlin : , Springer-Verlag Description VIII, 723 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Mathematical foundations of computer science / Proceedings of Symposium... ; ed. A. Kreczmar, G. Mirkowska Monografia Publication Berlin : Springer-Verlag, 1989 Description VIII, 605 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability No copies available Lost (1).

Mathematical foundations of computer science / Proceedings of the 13th Symposium... ; ed. M. P. Chytil, L. Janiga, V. Koubek Monografia Publication Berlin : Springer-Verlag, 1988 Description IX, 562 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

STACS 84 / Symposium of Theoretical Aspects of Computer Science ; ed. M. Fontet, K. Mehlhorn Monografia Publication Berlin : Springer-Verlag, cop. 1984 Description VI, 338 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

CSL'89 : proceedings / 3rd Workshop on Computer Science Logic ; ed. E. Borger, H. Kleine Buning, M. M. Richter Monografia Publication Berlin : , Springer-Verlag Description VI, 437 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

STACS 89 / Proceedings of 6th Annual Symposium... ; ed. B. Monien, R. Cori Monografia Publication Berlin : Springer-Verlag, 1989 Description VIII, 543 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

STACS 93 : proceedings / 10th Annual Symposium... ; ed. P. Enjalbert, A. Finkel, K. W. Wagner Monografia Publication Berlin : Springer-Verlag, cop. 1993 Description XIV, 723 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).